Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (1) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Kotulski L$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Kotulski L. On generation of composite labelled transition systems for alvis passive agents [Електронний ресурс] / L. Kotulski, M. Szpyrka, A. Sędziwy, K. Grobler-Dębska // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 205–211. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_37 The paper presents the method of generating Labelled Transition Systems for passive agents in Alvis models. Alvis is the language designed for the modelling and formal verification of embedded systems. The key concept of Alvis is an agent which is any distinguished part of a considered system with defined identity persisting in the time. Alvis combines a graphical modelling of interconnections among agents with a high level programming language used for describing a behaviour of agents. The basic property of the Alvis Toolkit is the ability of a direct generation of a formal system description from an Alvis source code. The LTS graphs represent control flow related to Alvis code execution and they are the base for the formal model verification. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |